Embedding defaults into terminological knowledge representation formalisms
نویسندگان
چکیده
منابع مشابه
Knowledge Representation with Terminological Logics
! ‚Concept‘ as atomic unit of knowledge represents a class of entities of a discourse domain ! Concept is: " named after the elements of the class " graphically illustrated as ellipse, that is framing its name ! A concept, that represents a set S, is denoted as |C|S ! If S ⊂ T, then: |C|S subconcept (Sub C) of |C|T |C|T super concept (SuperC) of |C|S ! This relation is: " called concept subsump...
متن کاملKnowledge Representation Representation Formalisms in Machine Learning
We begin with what seems a paradox. The world of experience of any normal man is composed of a tremendous array of discriminably different objects, events, people, impressions...But were we to utilize fully our capacity for registering the differences in things and to respond to each event encountered as unique, we would soon be overwhelmed by the complexity of our environment... The resolution...
متن کاملTerminological Knowledge Representation: A Proposal for a Terminological Logic
This paper contains a proposal for a terminological logic. The formalisms for representing knowledge as well as the needed inferences are described.
متن کاملA Multi-Dimensional Terminological Knowledge Representation Language
An extension of the concept description language ACC used in KL-ONE-like terminological reasoning is presented. The extension includes multi-modal operators that can either stand for the usual role quantifications or for modalities such as belief, time etc. The modal operators can be used at all levels of the concept terms, and they can be used to modify both concepts and roles. This is an inst...
متن کاملSpace Efficiency of Propositional Knowledge Representation Formalisms
We investigate the space efficiency of a Propositional Knowledge Representation (PKR) formalism. Intuitively, the space efficiency of a formalism F in representing a certain piece of knowledge α, is the size of the shortest formula of F that represents α. In this paper we assume that knowledge is either a set of propositional interpretations (models) or a set of propositional formulae (theorems...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 1995
ISSN: 0168-7433,1573-0670
DOI: 10.1007/bf00883932